workspace: Continue overlay idle hide timeout when pointing at close button

While it makes sense to remove the timeout in every other case, restart it
if the pointer is hovering over the close button to make sure the overlay
will be hidden afterwards.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/683

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index f09637b89bfc65003df1edde8779af9d6ddabb4d..72707173c09eff24bf383bfa27e56fd7c0ff80c3 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -693,12 +693,13 @@ var WindowOverlay = class {
     }
 
     _idleHideOverlay() {
-        this._idleHideOverlayId = 0;
+        if (this.closeButton['has-pointer'])
+            return GLib.SOURCE_CONTINUE;
 
-        if (!this._windowClone['has-pointer'] &&
-            !this.closeButton['has-pointer'])
+        if (!this._windowClone['has-pointer'])
             this._animateInvisible();
 
+        this._idleHideOverlayId = 0;
         return GLib.SOURCE_REMOVE;
     }